自动化推论工具自动推理工具automate: vt. 1.使(工厂、工序等)自动化。 2.使用自动化技 ...reasoning: n. 推论,推理;论究,论断;理论,论证;论法。 adj ...tool: n. 1.工具,用具,器具;【机械工程】刀具;工具母机 ...automated reasoning tool (art): 自动化推论工具automated reasoning: 自动推理下载手机词典可随时随地查词查翻译